문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 명제 논리 (문단 편집) === 쌍조건문(If and Only If; ↔, [[iff]]) === '''쌍조건문(biconditional)''' [math(P\leftrightarrow Q)]는 '[math(P)]인 경우 그리고 그 경우에만 [math(Q)]이다'라는 의미이다. '[math(P)]와 [math(Q)]가 동치이다', '[math(P)]이면 [math(Q)]이고 [math(Q)]이면 [math(P)]이다'와 같이 표현하기도 한다. [math((P\to Q)\;\&\;(Q\to P))]와 동치이다. [math(P)]와 [math(Q)]의 진리값이 같을 때 T가 할당된다. 예를 들어서, '누군가 총각인 경우에 오직 그 경우에만 결혼하지 않은 남자다'라는 문장은 쌍조건문이다. || '''P''' || '''Q''' || '''P ↔ Q''' || ||T||T|| T || ||T||F|| F || ||F||T|| F || ||F||F|| T ||저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기